Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs

Enumerating consistent global states of a computation is a fundamental problem in parallel computing with applications to debug- ging, testing and runtime verification of parallel programs. Breadth-first search (BFS) enumeration is especially useful for these applications as it finds an erroneous consistent global state with the least number of events possible. The total number of executed events in a global state is called its rank. BFS also allows enumeration of all global states of a given rank or within a range of ranks. If a computation on n processes has m events per process on average, then the traditional BFS (Cooper-Marzullo and its variants) requires $\mathcal{O}(\frac{m^{n-1}}{n})$ space in the worst case, whereas ou r algorithm performs the BFS requires $\mathcal{O}(m^2n^2)$ space. Thus, we reduce the space complexity for BFS enumeration of consistent global states exponentially. and give the first polynomial space algorithm for this task. In our experimental evaluation of seven benchmarks, traditional BFS fails in many cases by exhausting the 2 GB heap space allowed to the JVM. In contrast, our implementation uses less than 60 MB memory and is also faster in many cases

Oestradiol and prostaglandin F2 alpha regulate sexual displays in females of a sex-role reversed fish

The mechanisms regulating sexual behaviours in female vertebrates are still poorly understood, mainly because in most species sexual displays in females are more subtle and less frequent than displays in males. In a sex-role reversed population of a teleost fish, the peacock blenny Salaria pavo, an external fertilizer, females are the courting sex and their sexual displays are conspicuous and unambiguous. We took advantage of this to investigate the role of ovarian-synthesized hormones in the induction of sexual displays in females. In particular, the effects of the sex steroids oestradiol (E2) and testosterone (T) and of the prostaglandin F2 alpha (PGF2 alpha) were tested. Females were ovariectomized and their sexual behaviour tested 7 days (sex steroids and PGF2 alpha) and 14 days (sex steroids) after ovariectomy by presenting females to an established nesting male. Ovariectomy reduced the expression of sexual behaviours, although a significant proportion of females still courted the male 14 days after the ovary removal. Administration of PGF2 alpha to ovariectomized females recovered the frequency of approaches to the male's nest and of courtship displays towards the nesting male. However, E2 also had a positive effect on sexual behaviour, particularly on the frequency of approaches to the male's nest. T administration failed to recover sexual behaviours in ovariectomized females. These results suggest that the increase in E2 levels postulated to occur during the breeding season facilitates female mate-searching and assessment behaviours, whereas PGF2 alpha acts as a short-latency endogenous signal informing the brain that oocytes are mature and ready to be spawned. In the light of these results, the classical view for female fishes, that sex steroids maintain sexual behaviour in internal fertilizers and that prostaglandins activate spawning behaviours in external fertilizers, needs to be reviewed.Portuguese Foundation for Science and Technology (FCT) [POCTI/BSE/38395/2001, PTDC/MAR/69749/2006, 331/2001]; Macao Science and Technology Development Fund (FDCT) [012/2012/A1]; FCT [SFRH/BPD/30367/2006

Neural Network Parameterizations of Electromagnetic Nucleon Form Factors

The electromagnetic nucleon form-factors data are studied with artificial feed forward neural networks. As a result the unbiased model-independent form-factor parametrizations are evaluated together with uncertainties. The Bayesian approach for the neural networks is adapted for chi2 error-like function and applied to the data analysis. The sequence of the feed forward neural networks with one hidden layer of units is considered. The given neural network represents a particular form-factor parametrization. The so-called evidence (the measure of how much the data favor given statistical model) is computed with the Bayesian framework and it is used to determine the best form factor parametrization.Comment: The revised version is divided into 4 sections. The discussion of the prior assumptions is added. The manuscript contains 4 new figures and 2 new tables (32 pages, 15 figures, 2 tables

‘Warrant’ revisited: Integrating mathematics teachers’ pedagogical and epistemological considerations into Toulmin’s model for argumentation

In this paper, we propose an approach to analysing teacher arguments that takes into account field dependence—namely, in Toulmin’s sense, the dependence of warrants deployed in an argument on the field of activity to which the argument relates. Freeman, to circumvent issues that emerge when we attempt to determine the field(s) that an argument relates to, proposed a classification of warrants (a priori, empirical, institutional and evaluative). Our approach to analysing teacher arguments proposes an adaptation of Freeman’s classification that distinguishes between: epistemological and pedagogical a priori warrants, professional and personal empirical warrants, epistemological and curricular institutional warrants, and evaluative warrants. Our proposition emerged from analyses conducted in the course of a written response and interview study that engages secondary mathematics teachers with classroom scenarios from the mathematical areas of analysis and algebra. The scenarios are hypothetical, grounded on seminal learning and teaching issues, and likely to occur in actual practice. To illustrate our proposed approach to analysing teacher arguments here, we draw on the data we collected through the use of one such scenario, the Tangent Task. We demonstrate how teacher arguments, not analysed for their mathematical accuracy only, can be reconsidered, arguably more productively, in the light of other teacher considerations and priorities: pedagogical, curricular, professional and personal

Astrobiological Complexity with Probabilistic Cellular Automata

Search for extraterrestrial life and intelligence constitutes one of the major endeavors in science, but has yet been quantitatively modeled only rarely and in a cursory and superficial fashion. We argue that probabilistic cellular automata (PCA) represent the best quantitative framework for modeling astrobiological history of the Milky Way and its Galactic Habitable Zone. The relevant astrobiological parameters are to be modeled as the elements of the input probability matrix for the PCA kernel. With the underlying simplicity of the cellular automata constructs, this approach enables a quick analysis of large and ambiguous input parameters' space. We perform a simple clustering analysis of typical astrobiological histories and discuss the relevant boundary conditions of practical importance for planning and guiding actual empirical astrobiological and SETI projects. In addition to showing how the present framework is adaptable to more complex situations and updated observational databases from current and near-future space missions, we demonstrate how numerical results could offer a cautious rationale for continuation of practical SETI searches.Comment: 37 pages, 11 figures, 2 tables; added journal reference belo

Four patients with a history of acute exacerbations of COPD: implementing the CHEST/Canadian Thoracic Society guidelines for preventing exacerbations

This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/ by/4.0

What do general practitioners know about ADHD? Attitudes and knowledge among first-contact gatekeepers: systematic narrative review

Background: Attention Deficit Hyperactivity Disorder (ADHD) is a common childhood disorder with international prevalence estimates of 5 % in childhood, yet significant evidence exists that far fewer children receive ADHD services. In many countries, ADHD is assessed and diagnosed in specialist mental health or neuro-developmental paediatric clinics, to which referral by General (Family) Practitioners (GPs) is required. In such ‘gatekeeper’ settings, where GPs act as a filter to diagnosis and treatment, GPs may either not recognise potential ADHD cases, or may be reluctant to refer. This study systematically reviews the literature regarding GPs’ views of ADHD in such settings. Methods: A search of nine major databases was conducted, with wide search parameters; 3776 records were initially retrieved. Studies were included if they were from settings where GPs are typically gatekeepers to ADHD services; if they addressed GPs’ ADHD attitudes and knowledge; if methods were clearly described; and if results for GPs were reported separately from those of other health professionals. Results: Few studies specifically addressed GP attitudes to ADHD. Only 11 papers (10 studies), spanning 2000–2010, met inclusion criteria, predominantly from the UK, Europe and Australia. As studies varied methodologically, findings are reported as a thematic narrative, under the following themes: Recognition rate; ADHD controversy (medicalisation, stigma, labelling); Causes of ADHD; GPs and ADHD diagnosis; GPs and ADHD treatment; GP ADHD training and sources of information; and Age, sex differences in knowledge and attitudes. Conclusions: Across times and settings, GPs practising in first-contact gatekeeper settings had mixed and often unhelpful attitudes regarding the validity of ADHD as a construct, the role of medication and how parenting contributed to presentation. A paucity of training was identified, alongside a reluctance of GPs to become involved in shared care practice. If access to services is to be improved for possible ADHD cases, there needs to be a focused and collaborative approach to training

Intragenic DNA methylation: implications of this epigenetic mechanism for cancer research

Epigenetics is the study of all mechanisms that regulate gene transcription and genome stability that are maintained throughout the cell division, but do not include the DNA sequence itself. The best-studied epigenetic mechanism to date is DNA methylation, where methyl groups are added to the cytosine base within cytosine–guanine dinucleotides (CpG sites). CpGs are frequently clustered in high density (CpG islands (CGIs)) at the promoter of over half of all genes. Current knowledge of transcriptional regulation by DNA methylation centres on its role at the promoter where unmethylated CGIs are present at most actively transcribed genes, whereas hypermethylation of the promoter results in gene repression. Over the last 5 years, research has gradually incorporated a broader understanding that methylation patterns across the gene (so-called intragenic or gene body methylation) may have a role in transcriptional regulation and efficiency. Numerous genome-wide DNA methylation profiling studies now support this notion, although whether DNA methylation patterns are a cause or consequence of other regulatory mechanisms is not yet clear. This review will examine the evidence for the function of intragenic methylation in gene transcription, and discuss the significance of this in carcinogenesis and for the future use of therapies targeted against DNA methylation

Lewis X antigen mediates adhesion of human breast carcinoma cells to activated endothelium. Possible involvement of the endothelial scavenger receptor C-Type lectin

Lewis x (Lex, CD15), also known as SSEA-1 (stage specific embryonic antigen-1), is a trisaccharide with the structure Galβ(1–4)Fucα(1–3)GlcNAc, which is expressed on glycoconjugates in human polymorphonuclear granulocytes and various tumors such as colon and breast carcinoma. We have investigated the role of Lex in the adhesion of MCF-7 human breast cancer cells and PMN to human umbilical endothelial cells (HUVEC) and the effects of two different anti-Lex mAbs (FC-2.15 and MCS-1) on this adhesion. We also analyzed the cytolysis of Lex+-cells induced by anti-Lex mAbs and complement when cells were adhered to the endothelium, and the effect of these antibodies on HUVEC. The results indicate that MCF-7 cells can bind to HUVEC, and that MCS-1 but not FC-2.15 mAb inhibit this interaction. Both mAbs can efficiently lyse MCF-7 cells bound to HUVEC in the presence of complement without damaging endothelial cells. We also found a Lex-dependent PMN interaction with HUVEC. Although both anti-Lex mAbs lysed PMN in suspension and adhered to HUVEC, PMN aggregation was only induced by mAb FC-2.15. Blotting studies revealed that the endothelial scavenger receptor C-type lectin (SRCL), which binds Lex-trisaccharide, interacts with specific glycoproteins of Mr␣∼␣28 kD and 10 kD from MCF-7 cells. The interaction between Lex+-cancer cells and vascular endothelium is a potential target for cancer treatment.Fil: Elola, Maria Teresa. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Capurro, Mariana Isabel. University of Toronto; CanadáFil: Barrio, Maria Marcela. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fundación para la Investigación, Docencia y Prevención del Cáncer; ArgentinaFil: Coombs, Peter J.. Imperial College London; Reino UnidoFil: Taylor, Maureen E.. Imperial College London; Reino UnidoFil: Drickamer, Kurt. Imperial College London; Reino UnidoFil: Mordoh, Jose. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fundación para la Investigación, Docencia y Prevención del Cáncer; Argentin